一种基于分枝定界法的串行测试任务调度算法

 目前的自动测试系统中,对于串行任务的测试一般是以整个任务为粒度,这就导致两个任务可能需要重复设置相同的状态或重复测试相同的内容,延长了测试时间,降低了测试效率。针对这个问题,建立了基于图论的串行测试任务时序模型,用“图”来描述串行任务的测试时间与测试顺序的关系,将实际工程问题转化为图论中的数学问题。在任务时序模型的基础上,提出了一个串行测试任务调度算法。对于多个需要串行测试的任务,利用该算法可以得到测试时间最短的串行任务序列。该算法是借助整数规划问题中分枝定界法的思想实现的,通过相关理论和具体实例对算法的正确性和复杂性进行了分析。在实际系统中对该算法进行了实验验证,结果表明给定任务的测试效率提高了40%以上。     

迭代动力缩聚法的收敛性分析

 利用Lyapunov矩阵方程和Riccati矩阵方程解的理论,对迭代动力缩聚法的收敛性进行了分析证明,并给出了迭代收敛的充分条件。揭示了动力缩聚法与经典的子空间迭代法的内在关系,阐明了各自的优缺点。迭代动力缩聚法实质上是子空间迭代法的变形,它需要人为选择主辅自由度,而子空间迭代法需要人为选定初始迭代向量。从理论上讲,只有主辅自由度选择满足收敛的充分条件要求,才能保证迭代结果收敛到理论上的精确解。给出了一个数值算例,对几种算法进行了对比,并验证了本文的论点。     

金属表面腐蚀损伤演化过程的元胞自动机模拟

 用一个简单的元胞自动机从介观的角度对腐蚀环境中金属表面的腐蚀损伤演化过程进行研究。假定腐蚀体系为扩散过程控制的金属腐蚀体系,定义了简单的局部规则反映腐蚀现象中的基本化学物理过程,例如质量转移、金属溶解和钝化过程等。对于单个蚀坑,得到了蚀坑等效半径随模拟时间的变化曲线;对于多个蚀坑,认为蚀坑的成核时间服从威布尔分布,通过对该分布函数进行随机抽样,使得在不同时刻金属表面会随机产生大量的蚀坑,对金属表面的腐蚀损伤情况进行模拟,得到了表面腐蚀损伤度随模拟时间的变化规律。结果表明元胞自动机法可以用于腐蚀损伤演化过程的模拟,这对于更好地进行腐蚀损伤的量化及结构完整性的评估有着重要的实际意义。     

中国证监会职能的定位：监管与发展

《证券法》将证监会的职能明确为“依法对证券市场实行监督管理,维护证券市场秩序,保障其合法运行”。由此,证监会背负着监管与发展证券市场的重任。在监管中求发展,通过发展促进监管是证监会履行职能的最高境界,但如何平衡二者的关系,并使之相互促进仍然任重道远。     

无人机飞控软件测试方法研究

飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段.根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉及的单元和配置项测试方法.测试结果表明,提出的测试模型,测试工作能有效地发现无人机飞控软件在不同开发阶段引入的不同类型的软件缺陷,有效地保障了无人机飞控软件的安全性、可靠性和质量.     

超精密加工设备的发展与展望

当今超精密机床技术的发展趋势是:技术上不断朝着加工的极限方向发展,向更高精度、更高效率方向发展,向大型化、微型化方向发展;功能上向加工检测补偿一体化方向发展;结构上向多功能模块化方向发展;功能部件上向新原理、新方法、新材料应用方面发展,总体来讲是向极限制造技术方面发展。     

多基线干涉SAR的相位估计

利用多基线干涉SAR能够获得优于单基线干涉SAR的地形高程图。提出一种多基线干涉SAR的 相位估计方法。该方法首先对不同长短的基线对应的两幅复图像进行单基线干涉,得到条纹 疏密程度不同的单基线干涉相位图;然后根据短基线和长基线的关系,估计出长基线对应的 干涉相位被2π模糊的倍数;最后根据长基线对应的干涉相位的主值和估计出来的模糊 倍数恢复出长基线对应的干涉相位。分析了长短基线对应的干涉相位之间的关系,以及对应 的干涉相位主值之间的关系;论证了去平地前后该方法的适用性;给出了多基线干涉相位估 计方法的实现过程,并用计算机进行仿真,结果验证了该方法简单易行并且有效。
     

两类DBL码的性能比较

设计出扩展的Large area Synchronization地址码(LS码)——Daoben Lab地址码(DBL码).DBL码由基本LS码与矩阵左、右直积生成,分别称为DBL左乘码和DBL右乘码,两类DBL码各有特点.DBL右乘码特点是把码字分组,码组间码字存在更大的零相关窗,增加了可用码字数,码组内码字非周期相关性与扩展矩阵行向量的相关性相同;DBL左乘码也是把码字分组,码组间的零相关窗长度不变,没有增加可用码字数,但当以正交矩阵扩展时,码组内有和原LS码同样长度的零相关窗.计算机仿真验证了两类DBL地址码的性质.      

Galileo短时突发搜救信号载波跟踪的锁相环设计

Galileo搜救信号转发器搭载于Galileo导航卫星,能实现对全球遇险用户信号的转发,这种搜救信号具有突发、短时的特点,一般的F/PLL跟踪环无法对其进行有效的载波跟踪并完成解调。文中提出一种利用载波辅助的锁相跟踪方法,通过理论分析和MATLAB仿真可知,此锁相环能在约50m s内达到同步,可以有效地完成Galileo搜救信号的解调。     

模拟发动机冷流填充过程裂纹内流场数值模拟

对模拟发动机裂纹在冷流填充过程中的压强变化情况进行数值模拟,计算裂纹在冷流填充过程中的压强变化,讨论不同升压速率、裂纹不同位置、不同的裂纹开口比对裂纹内部压强变化的影响。